منابع مشابه
Plans towards Higher Laminosill
The Relativistic Heavy Ion Collider ( m C ) is designed PERF0 GE AND LUMINOSITY to provide luminosity over a wide range of beam energies LIMITATIONS and species, including heavy ions, polarized protons, and tric beam collisions. In the first seven years of operation there has been a rapid increase in the achieved peak and average luminosity, substantially exceeding design values. Work is presen...
متن کاملTowards higher impact argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. An example is the framework by Besnard and Hunter that is based on classical logic and in which an argument (obtained from a knowledgebase) is a pair where the first item is a minimal consistent set of formula...
متن کاملTowards Higher-Level Supercompilation
We show that the power of supercompilation can be increased by constructing a hierarchy of supercompilers, in which a lowerlevel supercompiler is used by a higher-level one for proving improvement lemmas. The lemmas thus obtained are used to transform expressions labeling nodes in process trees, in order to avoid premature generalizations. Such kind of supercompilation, based on a combination o...
متن کاملTowards Higher-dimensional Rewriting Theory
String rewriting systems have proved very useful to study monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even better, when the presentation is confluent and terminating, they provide one with a notion of canonical representative of the elements of the presented monoid. Polygraphs are a higher-dimensional generalization of this n...
متن کاملTowards Higher-Order DL-Lite
In several application domains, the need arises of modeling and reasoning about meta-concepts and meta-properties. This is the case, for example, with information system interoperability, where a description of the data schema (or, the ontology) of one system should co-exist with the specification of the application domain described by the data schema itself. In logic, higher-order constructs a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IALLT Journal of Language Learning Technologies
سال: 2007
ISSN: 1050-0049,1050-0049
DOI: 10.17161/iallt.v39i1.8468